principle of substitution

代入原理